traditional logic